not derivable

См. также в других словарях:

• non-derivable — adjective Not derivable; uncapable of being derived. Ant: derivable …   Wiktionary

• Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… …   Wikipedia

• Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… …   Wikipedia

• Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… …   Wikipedia

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… …   History of philosophy

• Diaphoneme — In linguistics, a diaphoneme or diaphone is a phoneme viewed through its dialectal variants, called diaphonic variants or diaphonic allophones.[1] For example, the vowel that constitutes the English word eye /aɪ/ is pronounced d …   Wikipedia

• gestalt — A perceived entity so integrated as to constitute a functional unit with properties not derivable from its parts. See gestaltism. [Ger. shape] * * * ge·stalt gə s(h)tält, s(h)tȯlt n, pl ge·stalt·en ən or …   Medical dictionary

• Stoicism — Stoicism1 Brad Inwood 1 FROM SOCRATES TO ZENO More than eighty years passed between the death of Socrates in 399 BC and the arrival in Athens of Zeno in 312. Athenian society had undergone enormous upheavals, both political and social. The Greek… …   History of philosophy

• PaX — In computer security, PaX is a patch for the Linux kernel that implements least privilege protections for memory pages. The least privilege approach allows computer programs to do only what they have to do in order to be able to execute properly …   Wikipedia

• Nordström's theory of gravitation — In theoretical physics, Nordström s theory of gravitation was a predecessor of general relativity. Strictly speaking, there were actually two distinct theories proposed by the Finnish theoretical physicist Gunnar Nordström, in 1912 and 1913… …   Wikipedia